<html>
<body>
Splits a <code>switch</code> branch that has more than one <code>case</code> value into individual <code>switch</code> branches,
one per <code>case</code> value.
</body>
</html>
